61. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
63. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
64. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
65. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings
پدیدآورنده : Jacques Calmet, Jan Plaza )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1476
66. Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
پدیدآورنده : John A. Campbell, Eugenio Roanes-Lozano )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1930
67. Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
پدیدآورنده : Bruno Buchberger, John A. Campbell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3249
68. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
پدیدآورنده : Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4120
69. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
پدیدآورنده : Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
Q
334
.
A766
1996
70. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
پدیدآورنده : International Conference AISMC-1, )2991: Karlsruhe, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
I5488
1992
71. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
پدیدآورنده : Jacques Calmet, John A. Campbell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
737
72. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
پدیدآورنده : Jacques Calmet, John A. Campbell , Jochen Pfalzgraf )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1138
73. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
پدیدآورنده : Jacques Calmet...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
74. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
75. Automata, logics, and infinite games
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
76. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
77. Automated Deduction : Proceedings
پدیدآورنده : M.E. Stickel )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
449
78. Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
پدیدآورنده : Andrei Voronkov )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2392
79. Automated deduction - CADE-26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, proceedings
پدیدآورنده : Leonardo de Moura )ed.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Automatic theorem proving Congresses,، Logic, Symbolic and mathematical Congresses
رده :
QA
76
.
9
.
A96
2017
80. Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
پدیدآورنده : Claude Kirchner, Helene Kirchner, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1421